<html>
<body>
<h1>Synchronisations</h1>
<p>
Synchronization labels are syntactically very
simple. They are of the form <tt>a'?'</tt> or <tt>a'!'</tt>, 
where <tt>a</tt> is a channel name.

</body>
</html>
